
#include "..\Modulos\Proposicion\prop.h"


int main(){
Proposiciones proposicionvacia,proposicion1,proposicion2,proposicion3,proposicion4,proposicion5,proposicion6;
Expresion expresion;
Atoms atoms;

    printf("***************************************\n");
    printf("*     PRUEBA MODULO PROPOSICIONES     *\n");
    printf("***************************************\n");

    print("\n\nSe realizara la carga automatica de la proposicion que figura como ejemplo en la letra del TALLER...");

    crearProposicion(proposicionvacia);
    crearProposicion(proposicion1);
    crearProposicion(proposicion2);
    crearProposicion(proposicion3);
    crearProposicion(proposicion4);
    crearProposicion(proposicion5);
    crearProposicion(proposicion6);

    cargarExpresionLetra('p',expresion);
    proposicion1=constructorDeProposicion(proposicionvacia,expresion,proposicionvacia);
    cargarExpresionLetra('q',expresion);
    proposicion2=constructorDeProposicion(proposicionvacia,expresion,proposicionvacia);
    cargarExpresionLetra('r',expresion);
    proposicion3=constructorDeProposicion(proposicionvacia,expresion,proposicionvacia);
    cargarExpresionConectiva(And,expresion);
    proposicion4=constructorDeProposicion(proposicion1,expresion,proposicion2);
    cargarExpresionConectiva(Not,expresion);
    proposicion5=constructorDeProposicion(proposicionvacia,expresion,proposicion3);
    cargarExpresionConectiva(entonces,expresion);
    proposicion6=constructorDeProposicion(proposicion4,expresion,proposicion5);


    print("\n\n\n\nProposicion Cargada: ");
    desplegarProposicion(proposicion6);

    printf("\n\nAtoms de la Proposicion: ");
    crearAtoms(atoms);
    atomosEnLaProposicion(proposicion6,atoms);
    desplegarAtoms(atoms);

    printf("\n\nEvaluacion de la Proposicion: ");
    desplegaTipoEvaluacion(eval(proposicion6));

    borrarAtoms(atoms);

    borrarProposicion(proposicion1);
    borrarProposicion(proposicion2);
    borrarProposicion(proposicion3);
    borrarProposicion(proposicion4);
    borrarProposicion(proposicion5);
    borrarProposicion(proposicion6);

    printf("\n\nSe eliminaron las proposiciones\n\n\n\n\n\n\n\n");

    return 0;
}
